机译：格拉维斯：基于模型检查自主系统的规划和目标推理框架
机译：在模型检查中使用模型检查技术为非专业人员验证业务规则
机译：有限套装模型预测控制转换器的统计模型检查：建模和性能验证教程
机译：模型检查自治规划者：甚至必须验证最佳奠定的计划
机译：将类型检查与模型检查相结合以进行系统验证
机译：使用统计模型检查正式验证启发式自主交叉管理
机译：自主车辆革命：对规划/无人驾驶城市的影响？/自治车辆 - 策划者的回应/自主车辆：机会，挑战和政府行动的需求/三个迹象自治车辆不会导致汽车所有权较少，汽车使用较少汽车依赖城市 - 以悉尼，澳大利亚/自治车辆规划为例？目的，地方和步伐/确保善治的问题：规划者在自主车辆发展中的作用/将技术放在其位置
机译：基于人工智能的规划师模型检查：即使是最好的计划也必须经过验证
